首页> 外文OA文献 >Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination

【2h】

Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination

机译：自然演绎，后续微积分和削减消除的Lambda术语

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Henk Barendregt; Silvia Ghilezan;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. LLambda terms for natural deduction, sequent calculus and cut elimination [J] . HENK BARENDREGTD, SILVIA GHILEZAN Journal of Functional Programming . 2000,第期

机译：Lambda术语用于自然演绎，后续演算和削减消除
2. Yet Another Bijection Between Sequent Calculus and Natural Deduction [J] . Cecilia Englander, Gilles Dowek, Edward Hermann Haeusler Electronic Notes in Theoretical Computer Science . 2015,第7期

机译：演算与自然演绎之间的又一个双射
3. Translations from natural deduction to sequent calculus [J] . Jan von Plato Mathematical logic quarterly: MLQ . 2003,第5期

机译：从自然演绎到后续演算的转换
4. Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms [C] . Franco Parlamento, Flavio Previale . 2013

机译：借助平等和部分项逻辑减少对Gentzen后续演算的消除
5. An Inverse Lambda Calculus Algorithm For Natural Language Processing. [D] . Alvarez Gonzalez, Marcos. 2010

机译：用于自然语言处理的反Lambda演算算法。
6. Selective long-term elimination of natural killer cells in vivo by an anti-interleukin 2 receptor beta chain monoclonal antibody in mice [O] . 1993

机译：抗白介素2受体β链单克隆抗体在小鼠体内选择性长期消除天然杀伤细胞
7. Lambda terms for natural deduction, sequent calculus and cut elimination [O] . Barendregt H.P., Ghilezan S. 2000

机译：Lambda术语用于自然演绎，后续演算和削减消除
8. Restriction to Cut Rule and the Consistency of a Natural Deduction Arithmetic [R] . Kent, C. F. 1964

机译：切割规则的限制与自然演绎算法的一致性

Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination

著录项

引文网络

相似文献

相关主题

期刊订阅